Hattrick kemenangan yang dicetak Cristiano Ronaldo dalam laga derbi melawan Atletico Madrid menorehkan rekor baru.